Computer arithmetic - PDFSEARCH.IO - Document Search Engine

Computer arithmetic
Results: 1849

#	Item
651	Bit-Exact Automated Reasoning About Floating-Point Arithmetic Martin Brain University of Oxford February 2, 2015 Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-05 02:12:12 Numbers Floating point Computer science IEEE 754-2008 Decimal floating point Double-precision floating-point format Computer arithmetic Data types Computing
652	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verified Compilation of Floating-Point Computations Sylvie Boldo · Jacques-Henri Jourdan · Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-10-24 04:48:50 Computer architecture Numbers Long double Floating point Double-precision floating-point format IEEE 754-2008 Single-precision floating-point format Extended precision Fortran Computer arithmetic Computing Data types
653	Tutorial: Exact Numerical Computation in Algebra and Geometry Chee K. Yap Courant Institute of Mathematical Sciences New York University Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2009-07-27 23:31:09 Numerical analysis Floating point Algorithm Arbitrary-precision arithmetic Computer science Computer arithmetic Applied mathematics Mathematics
654	OpenCL in Handheld Devices Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2013-07-28 00:09:23 Computer hardware ARM architecture Virtual reality Computer arithmetic Nvidia OpenCL Mali OpenGL Graphics processing unit Computing GPGPU Computer architecture
655	Lessons learned in benchmarking — Floating point benchmarks: can you trust them? John Markus Bjørndalen, Otto Anshus Department of Computer Science, University of Tromsø, Norway [removed], [removed] Abstra Add to Reading List Source URL: www.nik.no Language: English - Date: 2005-12-08 10:08:51 Mathematics Denormal number Floating point Single-precision floating-point format Benchmark Normal number FLOPS Iteration IEEE 754-2008 Computer arithmetic Computing Numbers
656	The Cost of Accurate Numerical Linear Algebra or Can we evaluate polynomials accurately? James Demmel Mathematics and Computer Science Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2004-04-13 09:30:01 Numerical linear algebra Matrix theory Computer arithmetic Matrix Floating point Pivot element Algorithm Computer-aided engineering Eigenvalues and eigenvectors Algebra Mathematics Linear algebra
657	November 5, [removed]:43 WSPC/Trim Size: 9in x 6in for Review Volume Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2008-11-05 16:58:57 Computing Floating point Numerical analysis Machine epsilon Algorithm Computational complexity theory Arbitrary-precision arithmetic Precision Real number Computer arithmetic Mathematics Applied mathematics
658	Updates to Geometric Tools Engine Version 1.5 Each subsection has a list of changes that occurred to the version number mention in that section. Those changes were rolled up into the zip file that was posted for the next Add to Reading List Source URL: www.geometrictools.com Language: English - Date: 2015-04-05 03:06:49 Computer programming C++ Data types Primitive types Geometrics Sequence container Arbitrary-precision arithmetic Floating point Generic programming Computing Computer arithmetic Software engineering
659	IBM 1620 Facts The IBM 1620 was announced by IBM on 21-Oct-59, and marketed as an inexpensive “scientific computer”. Model II, with improved arithmetic capability, was released in[removed]After a total production of ab Add to Reading List Source URL: www.library.uwa.edu.au Language: English - Date: 2013-08-07 02:45:32 Primitive types Computer arithmetic Fortran IBM Floating point Mainframe computer Word IBM 1620 Model I Computing Software engineering Data types
660	Cryptography and Computer Security CS255 Basic number theory fact sheet Part II: Arithmetic modulo composites Add to Reading List Source URL: crypto.stanford.edu Language: English - Date: 2015-01-03 18:17:27 Modular arithmetic Public-key cryptography Finite fields Integer factorization algorithms RSA Euclidean algorithm Prime number Discrete logarithm Chinese remainder theorem Abstract algebra Mathematics Cryptography

UPDATE